A flexing laryngoscope

Enlightening and flexing memories

by Professor Stefan Hecht, who is a member of IRIS Adlershof, in collaboration with the University of Strasbourg & CNRS (France) and the University of Nova Gorica (Slovenia), have shown that a carefully chosen blend of a small photoswitchable molecule and a semiconducting polymer can be used to fabricate high-performance memory devices that can be written and erased by light. Such multilevel (8...

Flexing Digital Library Systems

Digital library systems with monolithic architectures are rapidly facing extinction as the discipline adopts new practices in software engineering, such as component-based architectures and Web Services. Past projects have attempted to demonstrate and justify the use of components through the construction of systems such as NCSTRL and ScholNet. This paper describes current work to push the boun...

Flexing closed hyperbolic manifolds

We show that for certain closed hyperbolic manifolds, one can nontrivially deform the real hyperbolic structure when it is considered as a real projective structure. It is also shown that in the presence of a mild smoothness hypothesis, the existence of such real projective deformations is equivalent to the question of whether one can nontrivially deform the canonical representation of the real...

AbPress: Flexing Partial-Order Reduction and Abstraction

Partial-order reduction (POR) and lazy abstraction with interpolants are two complementary techniques that have been successfully employed to make model checking tools for concurrent programs effective. In this work, we present AbPress – Abstraction-based Partial-order Reduction with Source-Sets – an algorithm that fuses a recently proposed and powerful dynamic POR technique based on source-set...

The Laryngoscope